Handling prioritized goals and subgoals in a logical account of goal change
نویسندگان
چکیده
Most existing formal models of goals [2, 3] assume that all goals are equally important and many only deal with achievement goals. Moreover, they do not guarantee that an agent’s goals will properly evolve when an action/event occurs, e.g. when the agent’s beliefs/knowledge changes or a goal is adopted or dropped. Also, most of these frameworks do not model the dependencies between goals and the subgoals and plans adopted to achieve these goals – subgoals adopted to bring about a goal should be dropped when the parent goal becomes impossible, is achieved, or is dropped. Dealing with these issues is important for developing effective models of rational agency and BDI agent programming languages. Here, we outline a formal model of prioritized goals and their dynamics that addresses these issues. In our framework, an agent can have multiple goals at different priority levels, possibly inconsistent with each other. We define intentions as the maximal set of highest priority goals that is consistent given the agent’s knowledge. Our formalization of goal dynamics ensures that the agent strives to maximize her utility. Our model of goals supports the specification of general temporally extended goals, not just achievement goals, and also handles subgoals and their dynamics. Our base framework for modeling goal change is the situation calculus as formalized in [4]. We model knowledge using a possible worlds account adapted to the situation calculus [5]. To support modeling temporally extended goals, we introduce a new sort of paths, which are essentially infinite sequences of situations.
منابع مشابه
Handling Prioritized Goals and Subgoals in a Logical Account of Goal Change ( Extended Abstract )
متن کامل
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report
Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logical account of goal change that addresses these deficiencies. In our account, we do not drop lower priority goals permanently when they become inconsistent with other goals and the agent...
متن کاملA logical framework for prioritized goal change
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logical account of goal change that addresses these deficiencies. In our account, we do not drop lower priority goals permanently when they become inconsistent with other goals and the agent’s knowledge; rather, we make such...
متن کاملThe Logical Foundations of Goal-Regression Planning in Autonomous Agents
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals will often be conjunctions, and to apply goal-regression planning to a conjunction we usually have to plan separately for the conjuncts and then combine the resulting subplans. A logical problem arises from the fact tha...
متن کاملA Logical Account of Prioritized Goals and their Dynamics
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logical account of goal change that addresses these deficiencies. In our account, we do not drop lower priority goals permanently when they become inconsistent with other goals and the agent’s knowledge; rather, we make such...
متن کامل